$\forall$$a$, $b$:$\mathbb{Q}$, $n$:$\mathbb{N}$. $a$ + $b$ $\uparrow$ $n$ = $\Sigma$0 $\leq$ $i$ $<$ $n$+1. choose($n$;$i$) $\cdot<\mathbb{Q}$+$\ast>$ ($a$ $\uparrow$ $i$ $\ast$ $b$ $\uparrow$ $n$ {-} $i$) $\in$ $\mathbb{Q}$